一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

分布式多机协同控制信息同步技术

无人机群的信息同步是影响多无人机协同控制性能的一个重要因素。在介绍一类无人机群间信息流线性更新策略的基础上,对单链环形通信结构的信息同步位置进行了数学分析与仿真计算,结果表明可信度环形单链通信拓扑的信息同步于各单元初值的平均值。可信度的大小仅影响同步速度的快慢,对稳态值没有影响,可信度越大收敛速度越快,可信度越小收敛越慢。     

国防领域技术预警流程研究

技术预警是对技术突破和由此引起的军事、政治、经济和社会危机的预测,是从国家安全的根本利益出发,以保持己方军事优势、防止敌人"技术突袭"为宗旨的技术发展预测。研究回顾了国内外技术预警研究历程,从前期准备、预警清单、技术调查、分析评估等四个主要环节,全面分析国防领域技术预警的具体流程,为国防领域技术预警系统的构建与应用提供支撑。     

改进的SIR宽阻带微带带通滤波器设计

利用一种改进SIR谐振器设计交叉耦合微带带通滤波器,实现对滤波器谐波响应的进一步抑制。在此谐振器内部引入SIR谐波抑制结构,并给出了宽阻带滤波器的仿真结果。该滤波器具有较宽的阻带特性,从f0到2.8f0间的抑制约为30 dB以上;从2.8f0到5.3f0间的抑制约为20 dB以上。这种简单的谐波抑制结构既不改变原有滤波器的结构,又不需要更高精度的制作工艺,具有较强的实用性。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

布尔函数的Walsh谱绝对值分布及其性质研究

提出并研究了布尔函数的Walsh谱绝对值分布.指出布尔函数Walsh谱绝对值分布在仿射变换下的不变性,计算了n(n≤5)元布尔函数的Walsh谱绝对值分布,研究了Walsh谱绝对值分布与Walsh谱支撑和Walsh谱中非零取值个数以及其他一些密码学难题的联系,最后研究了布尔函数的Walsh谱绝对值分布的大小.     

雷达敌我识别系统现状、发展及启示

通过对几次较大规模局部战争,尤其是在伊拉克战争中所发生的多次误伤事件的原因分析得出:在大纵深、强机动和高度自动化的现代立体战争中,由高新技术装备起来的现代作战平台,要避免友军之间的误伤事件,必须建立与其相适应的目标敌我识别系统。首先简要介绍了目标识别及雷达敌我识别系统涵义、分类、组成和工作原理,然后阐述了雷达敌我识别系统的现状,最后对雷达敌我识别系统发展趋势作了展望,并得到4点启示。     

基于CAN总线的火灾监控系统研究与应用

论述了以CAN总线为基础的火灾监控系统的设计与实现方案,包括系统总体方案、系统硬件与软件设计,并结合实际工程对系统进行了实验研究。该监控系统可以方便地集成多种传感器和联动设备,在信息传输的安全性、准确性、实时性方面达到了较高要求,并且可以很方便地在此硬件平台的基础上实现分布式的智能火灾探测与控制,能满足大部分的监控需要,具有良好的应用前景。     

背诵对提高口译能力的正迁移及在教学中的应用

背诵是成功的语言学习者常用的策略,也是不同条件下英语教学行之有效的教学方法。文章通过跟踪调查,试验对照的形式,结合SPSS对数据加以分析,在实证研究的基础上,揭示背诵对提高大学生口译能力的正迁移作用并提出如何将背诵科学、合理地应用于口译教学,以提高教学质量。     

边界扫描测试在显示技术中的应用

为有效检测电路板焊接质量与器件质量,实现高精度的故障定位,提出了基于边界扫描技术与功能测试技术的解决方案。在显示产品设计中,开展可测试性设计,形成完整的边界扫描测试链;针对VRAM器件特点,提出了基于DRAM的测试方法,并设计相应的测试模型。最终,实现了对电路板的边界扫描测试,快速完成了对显示器件质量与焊接质量的有效检测。边界扫描技术与功能测试的结合,可以扩展边界扫描技术的应用范围,实现了更高的测试覆盖率。